Some Roads in Iowa

Some constructive roads to Tychonoff

The Tychonoff Theorem is discussed with respect to point-free topology, from the point of view of both topos-valid and predicative mathematics. A new proof is given of the infinitary Tychonoff Theorem using predicative, choice-free methods for possibly undecidable index set. It yields a complete description of the finite basic covers of the product.

Some studies on microbacteria from Iowa dairy products.

Microbacteria have attracted attention because they are among the most heat-resistant, non-sporeforming types of bacteria found in dairy products. As they grow poorly, if at all, at 37 C, they usually were overlooked when the standard plate count procedure called for incubation of the plates for 48 hr at that temperature. However, they form small colonies when incubation temperatures of 32 to 3...

Climate Trends in Iowa

Roads Belong in Databases

The popularity of location-based services and the need to perform real-time processing on them has led to an interest in queries on road networks, such as finding shortest paths and finding nearest neighbors. The challenge here is that the efficient execution of operations usually involves the computation of distance along a spatial network instead of “as the crow flies,” which is not simple. T...

Anthrax in Iowa